Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
821	Complexity of Self-Assembled Shapes (Extended Abstract?) David Soloveichik and Erik Winfree California Institute of Technology, Pasadena, CA 91125, USA {dsolov,winfree}@caltech.edu Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2004-09-03 15:02:43 Science Building materials Construction Descriptive complexity Kolmogorov complexity Erik Winfree Tessellation Complexity Tile Mosaic Visual arts Computability theory
822	COMPUTATION WITH FINITE STOCHASTIC CHEMICAL REACTION NETWORKS DAVID SOLOVEICHIK∗ , MATTHEW COOK† , ERIK WINFREE‡ , AND JEHOSHUA BRUCK§ Abstract. A highly desired part of the synthetic biology toolbox is an embedde Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2008-02-02 01:31:42 Theory of computation Alan Turing Computability theory Turing machine Chemical kinetics Molecularity Markov chain Chemical reaction Computability Theoretical computer science Computer science Models of computation
823	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
824	Separation Results on the “One-More” Computational Problems Emmanuel Bresson1 , Jean Monnerat?2 , and Damien Vergnaud3 2 1 Add to Reading List Source URL: www.ssi.gouv.fr Language: English - Date: 2012-11-06 05:29:19 Probabilistic complexity theory Complexity classes Computability theory Oracle machine Advantage Randomized algorithm Random self-reducibility PP Reduction Theoretical computer science Computational complexity theory Applied mathematics
825	768 IEEE TRANSACTIONS ON COMPUTERS, VOL. 46, NO. 7, JULY 1997 Compile-Time Scheduling of Dynamic Constructs in Data ow Program Graphs Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 1997-08-14 18:41:45 Programming idioms Parallel computing Compiler optimizations Operations research Computability theory Recursion Automatic parallelization Scheme Scheduling Computer programming Computing Software engineering
826	COMPUTATION WITH FINITE STOCHASTIC CHEMICAL REACTION NETWORKS DAVID SOLOVEICHIK∗ , MATTHEW COOK† , ERIK WINFREE‡ , AND JEHOSHUA BRUCK§ Abstract. A highly desired part of the synthetic biology toolbox is an embedde Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2008-01-18 18:16:17 Theory of computation Alan Turing Computability theory Turing machine Chemical kinetics Molecularity Markov chain Chemical reaction Computability Theoretical computer science Computer science Models of computation
827	Statistical Learning of Arbitrary Computable Classifiers David Soloveichik California Institute of Technology Department of Computation and Neural Systems MC[removed]Pasadena, CA 91125 Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2009-05-26 19:56:02 Computational learning theory Computability theory Theory of computation Machine learning Probably approximately correct learning Blum axioms Computable function Uniform convergence VC dimension Theoretical computer science Mathematics Applied mathematics
828	Efficient Turing-universal computation with DNA polymers (extended abstract) Lulu Qian, David Soloveichik, and Erik Winfree California Institute of Technology and University of Washington, Seattle Abstract. Bennett’s Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2010-05-18 15:35:54 Applied mathematics Computability theory Formal methods Chemical engineering Turing machine Chemical reaction DNA computing DNA Entropy Models of computation Chemistry Theoretical computer science
829	Agriculture - Math Assessment - 8D.H Agricultural Variables with a Linear Relationship Add to Reading List Source URL: www.isbe.state.il.us Language: English - Date: 2007-10-10 10:25:24 Computability theory Decision problem Word problem Problem Rubric Mathematics Education Mathematics education Knowledge
830	7 Introduction to Recursion My goal in this chapter is to write a procedure named downup that behaves like this: ? downup "hello Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-12-25 23:44:04 Programming idioms Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Logo Subroutine Control flow Computer programming Software engineering Computing

UPDATE